The Axiom of Choice, the Löwenheim-Skolem Theorem and Borel models
نویسندگان
چکیده
منابع مشابه
Downward Löwenheim-Skolem Theorem and interpolation in logics with constructors
The present paper describes a method for proving Downward Löwenheim-Skolem Theorem within an arbitrary institution satisfying certain logic properties. In order to demonstrate the applicability of the present approach, the abstract results are instantiated to many-sorted first-order logic and preorder algebra. In addition to the first technique for proving Downward Löwenheim-Skolem Theorem, ano...
متن کاملArrow's Theorem, Weglorz' Models and the Axiom of Choice
Applying Weglorz’ models of set theory without the axiom of choice, we investigate Arrow-type social welfare functions for infinite societies with restricted coalition algebras. We show that there is a reasonable, nondictatorial social welfare function satisfying “finite discrimination”, if and only if in Weglorz’ model there is a free ultrafilter on a set representing the individuals. AMS-subj...
متن کاملA Finitary Analogue of the Downward Löwenheim-Skolem Property
We present a model-theoretic property of finite structures, that can be seen to be a finitary analogue of the well-studied downward Löwenheim-Skolem property from classical model theory. We call this property the L-equivalent bounded substructure property, denoted L-EBSP, where L is either FO or MSO. Intuitively, L-EBSP states that a large finite structure contains a small “logically similar” s...
متن کاملSome Remarks on Finite Löwenheim-Skolem Theorems
We discuss several possible extensions of the classical LöwenheimSkolem Theorem to finite structures and give a counterexample refuting almost all of them. Mathematics Subject Classification: 03C13, 03C95
متن کاملthe analysis of the role of the speech acts theory in translating and dubbing hollywood films
از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1991
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-137-1-53-58